Filtered Belief Revision: Syntax and Semantics

Distance Semantics for Belief Revision

1 I n t r o d u c t i o n Intelligent agents must gather information about the world, elaborate theories about it and revise those theories in view of new information that , sometimes, contradicts the beliefs previously held. Belief revision is therefore a central topic in Knowledge Representation. It has been studied in different forms: numeric or symbolic, procedural or declarative, logical o...

Strong Syntax Splitting for Iterated Belief Revision

AGM theory is the most influential formal account of belief revision. Nevertheless, there are some issues with the original proposal. In particular, Parikh has pointed out that completely irrelevant information may be affected in AGM revision. To remedy this, he proposed an additional axiom (P) aiming to capture (ir)relevance by a notion of syntax splitting. In this paper we generalize syntax s...

Syntax - Based Approaches to Belief Revision

Mutual Belief Revision: Semantics and Computation

This paper presents both a semantic and a computational model for multi-agent belief revision. We show that these two models are equivalent but serve different purposes. The semantic model displays the intuition and construction of the belief revision operation in multi-agent environments, especially in case of just two agents. The logical properties of this model provide strong justifications ...

On The Semantics of Belief Revision Systems

We consider belief revision operators that satisfy the Alchourrr on-GG ardenfors-Makinson postulates, and present an epistemic logic in which, for any such revision operator, the result of a revision can be described by a sentence in the logic. In our logic, the fact that the agent's set of beliefs is is represented by the sentence O, where O is Levesque's `only know' operator. Intuitively, O i...